Computerunterstützte Sacherschließung mit dem Digitalen Assistenten (DA-2)

Wir beschreiben den Digitalen Assistenten DA-2, den wir zur Unterstützung der Sacherschliessung im IBS-Verbund implementiert haben. Diese webbasierte Anwendung ist eine vollständige Neuimplementierung, welche die Erkenntnisse des Vorgängersystems bei der Zentralbibliothek Zürich berücksichtigt. Wir stellen Überlegungen zur Zukunft der Sacherschliessung an und geben eine Übersicht über Projekte mit ähnlichen Zielsetzungen, die Sacherschließung mit Computerunterstützung effizienter und besser zu gestalten. We describe the digital assistant DA-2 which we have implemented to support the subject indexing process in the IBS-Verbund. This web-based service is a new implementation from scratch based on the lessons learned with its predecessor used by the Zentralbibliothek Zürich. We also discuss the future of intellectual subject indexing and we give an overview on related projects also aiming at digitizing and economizing this challenging process

Der Digitale Assistent DA-3: Eine Plattform für die Inhaltserschließung

Der "Digitale Assistent" DA-3 ist ein webbasiertes Tool zur maschinellen Unterstützung der intellektuellen verbalen und klassifikatorischen Inhaltserschließung. Im Frühjahr 2016 wurde einer breiteren Fachöffentlichkeit die zunächst für den Einsatz im IBS|BW-Konsortium[1] konzipierte Vorgängerversion DA-2 vorgestellt. Die Community nahm die Entwicklung vor dem Hintergrund der strategischen Diskussionen um zukunftsfähige Verfahren der Inhaltserschließung mit großem Interesse auf. Inzwischen wird das Tool in einem auf drei Jahre angelegten Kooperationsprojekt zwischen der Firma Eurospider Information Technology, dem IBS|BW-Konsortium, der Staatsbibliothek zu Berlin und den beiden Verbundzentralen VZG und BSZ zu einem zentralen und leistungsstarken Service weiterentwickelt. Die ersten Anwenderbibliotheken in SWB und GBV setzen den DA-3 während dieser Projektphase bereits erfolgreich ein, am Ende ist die Überführung in den Routinebetrieb vorgesehen. Der Beitrag beschreibt den derzeitigen Stand und Nutzen des Projekts im Kontext der aktuellen Rahmenbedingungen, stellt ausführlich die Funktionalitäten des DA-3 vor, gibt einen kleinen Einblick hinter die Kulissen der Projektpartner und einen Ausblick auf kommende Entwicklungsschritte.   [1] IBS steht für “Integriertes Bibliothekssystem” - ursprünglich ein Verbund von 54 Universitäts-, Landes- und Hochschulbibliotheken in Baden-Württemberg, die die Bibliothekssoftware aDIS/BMS benutzen, wurde das Konsortium Anfang 2018 auf alle Universitäts-, Landes- und Hochschulbibliotheken von Baden-Württemberg ausgeweitet.Summary: The “digital assistent" DA-3 is a web-based tool to assist intellectual verbal and classificatory subject cataloguing. The preceding version DA-2 was designed for application in the IBS|BW-Konsortium1 and was presented to a broader professional public in spring 2016. Amid strategic discussions about a sustainable content indexing the community received this development with great interest. Currently, the tool is being developed to a pivotal and powerful service in a collaborative project between Eurospider Information Technology, IBS|BW-Konsortium, Staatsbibliothek zu Berlin and VZG and BSZ, the two head offices of GBV and SWB, termed to last for three years. The first client libraries in SWB and GBV are successfully working with the DA-3, while it is still under development. The transition to routine use is scheduled for the end of the project phase. The article describes the status quo of the project and its benefit in context of current framework conditions. It presents the features of the DA-3 in detail, offers a glance behind the scenes of the project partners and outlines future development steps

Functional Kernel with Modules

Powerful type systems with properties like explicit resp. implicit polymorphism, dependent types and algebraic data-types have so far only been found in the study of typed-calculus or the design of functional languages such as Standard ML (SML), Haskell or the "calculus of (inductive) constructions". So far these powerful concepts have for the most part not been introduced to the world of computer algebra, with the notable exception of AXIOM which uses some of the concepts just mentioned

Comprehensive mathematics for computer scientists

This two-volume textbook Comprehensive Mathematics for the Working Computer Scientist is a self-contained comprehensive presentation of mathematics including sets, numbers, graphs, algebra, logic, grammars, machines, linear geometry, calculus, ODEs, and special themes such as neural networks, Fourier theory, wavelets, numerical.This two-volume textbook Comprehensive Mathematics for the Working Computer Scientist is a self-contained comprehensive presentation of mathematics including sets, numbers, graphs, algebra, logic, grammars, machines, linear geometry, calculus, ODEs, and special themes such as neural networks, Fourier theory, wavelets, numerical issues, statistics, categories, and manifolds. The concept framework is streamlined but defining and proving virtually everything. The style implicitly follows the spirit of recent topos-oriented theoretical computer science. Despite the theoretical soundness, the mate